- Godel axiomatics
- Математика: аксиоматика Геделя
Универсальный англо-русский словарь. Академик.ру. 2011.
Godel axiomatics
Смотреть что такое "Godel axiomatics" в других словарях:
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… … Wikipedia
Paul Bernays — Born 17 October 1888(1888 10 17) London Died 18 September 1977(1977 09 18) (aged 88) … Wikipedia
Jesús Mosterín — in October 2008 Jesús Mosterín (born 1941) is a leading Spanish philosopher and a thinker of broad spectrum, often at the frontier between science and philosophy. Contents … Wikipedia
Finite set — In mathematics, a set is called finite if there is a bijection between the set and some set of the form {1, 2, ..., n} where n is a natural number. (The value n = 0 is allowed; that is, the empty set is finite.) An infinite set is a set which is… … Wikipedia
Newton da Costa — at Berkeley in 1973 Photo courtesy George M. Bergman Full name Newton da Costa Born 16 September 1929 (1929 09 16) (age 82) Curitiba, B … Wikipedia
Tarski–Grothendieck set theory — (TG) is an axiomatic set theory derived by marrying Tarski s axiom (see below) to ZF. TG is part of the Mizar system for formal computer verification of mathematical proofs.AxiomsWhile the axioms and definitions defining Mizar s basic objects and … Wikipedia
